projects
/
linux.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9b81932
)
[PATCH 1/2] Documentation: Drop sphinx version check
author
Bastian Blank
<waldi@debian.org>
Tue, 4 Aug 2020 09:44:19 +0000
(09:44 +0000)
committer
Salvatore Bonaccorso
<carnil@debian.org>
Thu, 12 Mar 2026 12:28:10 +0000
(13:28 +0100)
From
252aa79fdbd4ac2da09d9b98f81bf11f5e3e1870
Mon Sep 17 00:00:00 2001
Forwarded: not-needed
Gbp-Pq: Topic debian
Gbp-Pq: Name documentation-drop-sphinx-version-check.patch
Documentation/Makefile
patch
|
blob
|
history
diff --git
a/Documentation/Makefile
b/Documentation/Makefile
index e96ac6dcac4f1f5b43fc23777e490bbae2c1ea3c..4e22f297de5ea6dd9c62ce7933f1cfca1c11d312 100644
(file)
--- a/
Documentation/Makefile
+++ b/
Documentation/Makefile
@@
-54,8
+54,6
@@
else # HAVE_SPHINX
# Common documentation targets
htmldocs mandocs infodocs texinfodocs latexdocs epubdocs xmldocs pdfdocs linkcheckdocs:
- $(Q)PYTHONPYCACHEPREFIX="$(PYTHONPYCACHEPREFIX)" \
- $(srctree)/tools/docs/sphinx-pre-install --version-check
+$(Q)PYTHONPYCACHEPREFIX="$(PYTHONPYCACHEPREFIX)" \
$(PYTHON3) $(BUILD_WRAPPER) $@ \
--sphinxdirs="$(SPHINXDIRS)" $(RUSTDOC) \